Model on the logic working procedure of relay schemes based on timed Petri net

• Petri网描述的继电保护动作逻辑时序建模